1.
2.
3.
Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 200...
by Bensalem, Saddek, Peled, Do...
ISBN: 9783642046933
List Price: $72.00
4.
Computer Aided Verification 16th International Conference, Cav 2004, Boston, Ma, Usa, July 1...
by Alur, Rajeev, Peled, Doron A.
ISBN: 9783540223429
List Price: $99.95
5.
Time for Verification : Essays in Memory of Amir Pnueli
by Manna, Zohar, Peled, Doron A.
ISBN: 9783642137532
List Price: $95.00
OUT OF STOCK
See Availability on Amazon6.
Formal Techniques for Networked and Distributed Systems - Forte 2002 22nd Ifip Wg 6.1 Intern...
by Peled, Doron A., Vardi, Mos...
ISBN: 9783540001416
List Price: $85.00
7.
Computer Aided Verification
by Halbwachs, Nicolas, Peled, ...
ISBN: 9783540662020
List Price: $89.95
8.
Model Checking and Artificial Intelligence: 5th International Workshop of ECAI 2008, Padras,...
by Peled, Doron A., Wooldridge...
ISBN: 9783642004308
List Price: $64.95
9.
Automated Technology for Verification And Analysis Third International Symposium, Atva 2005,...
by Peled, Doron A., Tsay, Yih-...
ISBN: 9783540292098
List Price: $89.00
10.
Software Reliability Methods (Texts in Computer Science)
by Doron A. Peled
ISBN: 9781441928764
List Price: $159.00
11.
Spin Verification System Dimacs Workshop, August 5, 1996
by Egoire, Jean-Charles, Holzm...
ISBN: 9780821806807
List Price: $57.00
OUT OF STOCK
See Availability on Amazon13.
Computer Aided Verification
by Halbwachs, Nicolas, Peled, ...
ISBN: 9783662192832
List Price: $24.99
OUT OF STOCK
See Availability on Amazon14.
Formal Techniques for Networked and Distributed Systems - Forte 2002
by Peled, Doron A., Vardi, Mos...
ISBN: 9783662201381
List Price: $24.99